Quick info
Armin Biere has worked on 2 packages so far. In total, Armin Biere has worked with 6 other authors on those packages. A true team player!
Packages overview
Package details
| BoolNet | Construction, Simulation and Analysis of Boolean Networks Christoph Müssel , Martin Hopfensitz , Dao Zhou , Hans A. Kestler , Armin Biere , Troy D. Hanson |
| rpicosat | R Bindings for the 'PicoSAT' SAT Solver |